
(define (problem hiking) (:domain hiking)
  (:objects
        r0_c0 - loc
	r0_c1 - loc
	r0_c2 - loc
	r0_c3 - loc
	r0_c4 - loc
	r0_c5 - loc
	r0_c6 - loc
	r0_c7 - loc
	r0_c8 - loc
	r0_c9 - loc
	r1_c0 - loc
	r1_c1 - loc
	r1_c2 - loc
	r1_c3 - loc
	r1_c4 - loc
	r1_c5 - loc
	r1_c6 - loc
	r1_c7 - loc
	r1_c8 - loc
	r1_c9 - loc
	r2_c0 - loc
	r2_c1 - loc
	r2_c2 - loc
	r2_c3 - loc
	r2_c4 - loc
	r2_c5 - loc
	r2_c6 - loc
	r2_c7 - loc
	r2_c8 - loc
	r2_c9 - loc
	r3_c0 - loc
	r3_c1 - loc
	r3_c2 - loc
	r3_c3 - loc
	r3_c4 - loc
	r3_c5 - loc
	r3_c6 - loc
	r3_c7 - loc
	r3_c8 - loc
	r3_c9 - loc
	r4_c0 - loc
	r4_c1 - loc
	r4_c2 - loc
	r4_c3 - loc
	r4_c4 - loc
	r4_c5 - loc
	r4_c6 - loc
	r4_c7 - loc
	r4_c8 - loc
	r4_c9 - loc
	r5_c0 - loc
	r5_c1 - loc
	r5_c2 - loc
	r5_c3 - loc
	r5_c4 - loc
	r5_c5 - loc
	r5_c6 - loc
	r5_c7 - loc
	r5_c8 - loc
	r5_c9 - loc
	r6_c0 - loc
	r6_c1 - loc
	r6_c2 - loc
	r6_c3 - loc
	r6_c4 - loc
	r6_c5 - loc
	r6_c6 - loc
	r6_c7 - loc
	r6_c8 - loc
	r6_c9 - loc
	r7_c0 - loc
	r7_c1 - loc
	r7_c2 - loc
	r7_c3 - loc
	r7_c4 - loc
	r7_c5 - loc
	r7_c6 - loc
	r7_c7 - loc
	r7_c8 - loc
	r7_c9 - loc
  )
  (:init 
	(adjacent r0_c0 r0_c1)
	(adjacent r0_c0 r1_c0)
	(adjacent r0_c1 r0_c0)
	(adjacent r0_c1 r0_c2)
	(adjacent r0_c1 r1_c1)
	(adjacent r0_c2 r0_c1)
	(adjacent r0_c2 r0_c3)
	(adjacent r0_c2 r1_c2)
	(adjacent r0_c3 r0_c2)
	(adjacent r0_c3 r0_c4)
	(adjacent r0_c3 r1_c3)
	(adjacent r0_c4 r0_c3)
	(adjacent r0_c4 r0_c5)
	(adjacent r0_c4 r1_c4)
	(adjacent r0_c5 r0_c4)
	(adjacent r0_c5 r0_c6)
	(adjacent r0_c5 r1_c5)
	(adjacent r0_c6 r0_c5)
	(adjacent r0_c6 r0_c7)
	(adjacent r0_c6 r1_c6)
	(adjacent r0_c7 r0_c6)
	(adjacent r0_c7 r0_c8)
	(adjacent r0_c7 r1_c7)
	(adjacent r0_c8 r0_c7)
	(adjacent r0_c8 r0_c9)
	(adjacent r0_c8 r1_c8)
	(adjacent r0_c9 r0_c8)
	(adjacent r0_c9 r1_c9)
	(adjacent r1_c0 r0_c0)
	(adjacent r1_c0 r1_c1)
	(adjacent r1_c0 r2_c0)
	(adjacent r1_c1 r0_c1)
	(adjacent r1_c1 r1_c0)
	(adjacent r1_c1 r1_c2)
	(adjacent r1_c1 r2_c1)
	(adjacent r1_c2 r0_c2)
	(adjacent r1_c2 r1_c1)
	(adjacent r1_c2 r1_c3)
	(adjacent r1_c2 r2_c2)
	(adjacent r1_c3 r0_c3)
	(adjacent r1_c3 r1_c2)
	(adjacent r1_c3 r1_c4)
	(adjacent r1_c3 r2_c3)
	(adjacent r1_c4 r0_c4)
	(adjacent r1_c4 r1_c3)
	(adjacent r1_c4 r1_c5)
	(adjacent r1_c4 r2_c4)
	(adjacent r1_c5 r0_c5)
	(adjacent r1_c5 r1_c4)
	(adjacent r1_c5 r1_c6)
	(adjacent r1_c5 r2_c5)
	(adjacent r1_c6 r0_c6)
	(adjacent r1_c6 r1_c5)
	(adjacent r1_c6 r1_c7)
	(adjacent r1_c6 r2_c6)
	(adjacent r1_c7 r0_c7)
	(adjacent r1_c7 r1_c6)
	(adjacent r1_c7 r1_c8)
	(adjacent r1_c7 r2_c7)
	(adjacent r1_c8 r0_c8)
	(adjacent r1_c8 r1_c7)
	(adjacent r1_c8 r1_c9)
	(adjacent r1_c8 r2_c8)
	(adjacent r1_c9 r0_c9)
	(adjacent r1_c9 r1_c8)
	(adjacent r1_c9 r2_c9)
	(adjacent r2_c0 r1_c0)
	(adjacent r2_c0 r2_c1)
	(adjacent r2_c0 r3_c0)
	(adjacent r2_c1 r1_c1)
	(adjacent r2_c1 r2_c0)
	(adjacent r2_c1 r2_c2)
	(adjacent r2_c1 r3_c1)
	(adjacent r2_c2 r1_c2)
	(adjacent r2_c2 r2_c1)
	(adjacent r2_c2 r2_c3)
	(adjacent r2_c2 r3_c2)
	(adjacent r2_c3 r1_c3)
	(adjacent r2_c3 r2_c2)
	(adjacent r2_c3 r2_c4)
	(adjacent r2_c3 r3_c3)
	(adjacent r2_c4 r1_c4)
	(adjacent r2_c4 r2_c3)
	(adjacent r2_c4 r2_c5)
	(adjacent r2_c4 r3_c4)
	(adjacent r2_c5 r1_c5)
	(adjacent r2_c5 r2_c4)
	(adjacent r2_c5 r2_c6)
	(adjacent r2_c5 r3_c5)
	(adjacent r2_c6 r1_c6)
	(adjacent r2_c6 r2_c5)
	(adjacent r2_c6 r2_c7)
	(adjacent r2_c6 r3_c6)
	(adjacent r2_c7 r1_c7)
	(adjacent r2_c7 r2_c6)
	(adjacent r2_c7 r2_c8)
	(adjacent r2_c7 r3_c7)
	(adjacent r2_c8 r1_c8)
	(adjacent r2_c8 r2_c7)
	(adjacent r2_c8 r2_c9)
	(adjacent r2_c8 r3_c8)
	(adjacent r2_c9 r1_c9)
	(adjacent r2_c9 r2_c8)
	(adjacent r2_c9 r3_c9)
	(adjacent r3_c0 r2_c0)
	(adjacent r3_c0 r3_c1)
	(adjacent r3_c0 r4_c0)
	(adjacent r3_c1 r2_c1)
	(adjacent r3_c1 r3_c0)
	(adjacent r3_c1 r3_c2)
	(adjacent r3_c1 r4_c1)
	(adjacent r3_c2 r2_c2)
	(adjacent r3_c2 r3_c1)
	(adjacent r3_c2 r3_c3)
	(adjacent r3_c2 r4_c2)
	(adjacent r3_c3 r2_c3)
	(adjacent r3_c3 r3_c2)
	(adjacent r3_c3 r3_c4)
	(adjacent r3_c3 r4_c3)
	(adjacent r3_c4 r2_c4)
	(adjacent r3_c4 r3_c3)
	(adjacent r3_c4 r3_c5)
	(adjacent r3_c4 r4_c4)
	(adjacent r3_c5 r2_c5)
	(adjacent r3_c5 r3_c4)
	(adjacent r3_c5 r3_c6)
	(adjacent r3_c5 r4_c5)
	(adjacent r3_c6 r2_c6)
	(adjacent r3_c6 r3_c5)
	(adjacent r3_c6 r3_c7)
	(adjacent r3_c6 r4_c6)
	(adjacent r3_c7 r2_c7)
	(adjacent r3_c7 r3_c6)
	(adjacent r3_c7 r3_c8)
	(adjacent r3_c7 r4_c7)
	(adjacent r3_c8 r2_c8)
	(adjacent r3_c8 r3_c7)
	(adjacent r3_c8 r3_c9)
	(adjacent r3_c8 r4_c8)
	(adjacent r3_c9 r2_c9)
	(adjacent r3_c9 r3_c8)
	(adjacent r3_c9 r4_c9)
	(adjacent r4_c0 r3_c0)
	(adjacent r4_c0 r4_c1)
	(adjacent r4_c0 r5_c0)
	(adjacent r4_c1 r3_c1)
	(adjacent r4_c1 r4_c0)
	(adjacent r4_c1 r4_c2)
	(adjacent r4_c1 r5_c1)
	(adjacent r4_c2 r3_c2)
	(adjacent r4_c2 r4_c1)
	(adjacent r4_c2 r4_c3)
	(adjacent r4_c2 r5_c2)
	(adjacent r4_c3 r3_c3)
	(adjacent r4_c3 r4_c2)
	(adjacent r4_c3 r4_c4)
	(adjacent r4_c3 r5_c3)
	(adjacent r4_c4 r3_c4)
	(adjacent r4_c4 r4_c3)
	(adjacent r4_c4 r4_c5)
	(adjacent r4_c4 r5_c4)
	(adjacent r4_c5 r3_c5)
	(adjacent r4_c5 r4_c4)
	(adjacent r4_c5 r4_c6)
	(adjacent r4_c5 r5_c5)
	(adjacent r4_c6 r3_c6)
	(adjacent r4_c6 r4_c5)
	(adjacent r4_c6 r4_c7)
	(adjacent r4_c6 r5_c6)
	(adjacent r4_c7 r3_c7)
	(adjacent r4_c7 r4_c6)
	(adjacent r4_c7 r4_c8)
	(adjacent r4_c7 r5_c7)
	(adjacent r4_c8 r3_c8)
	(adjacent r4_c8 r4_c7)
	(adjacent r4_c8 r4_c9)
	(adjacent r4_c8 r5_c8)
	(adjacent r4_c9 r3_c9)
	(adjacent r4_c9 r4_c8)
	(adjacent r4_c9 r5_c9)
	(adjacent r5_c0 r4_c0)
	(adjacent r5_c0 r5_c1)
	(adjacent r5_c0 r6_c0)
	(adjacent r5_c1 r4_c1)
	(adjacent r5_c1 r5_c0)
	(adjacent r5_c1 r5_c2)
	(adjacent r5_c1 r6_c1)
	(adjacent r5_c2 r4_c2)
	(adjacent r5_c2 r5_c1)
	(adjacent r5_c2 r5_c3)
	(adjacent r5_c2 r6_c2)
	(adjacent r5_c3 r4_c3)
	(adjacent r5_c3 r5_c2)
	(adjacent r5_c3 r5_c4)
	(adjacent r5_c3 r6_c3)
	(adjacent r5_c4 r4_c4)
	(adjacent r5_c4 r5_c3)
	(adjacent r5_c4 r5_c5)
	(adjacent r5_c4 r6_c4)
	(adjacent r5_c5 r4_c5)
	(adjacent r5_c5 r5_c4)
	(adjacent r5_c5 r5_c6)
	(adjacent r5_c5 r6_c5)
	(adjacent r5_c6 r4_c6)
	(adjacent r5_c6 r5_c5)
	(adjacent r5_c6 r5_c7)
	(adjacent r5_c6 r6_c6)
	(adjacent r5_c7 r4_c7)
	(adjacent r5_c7 r5_c6)
	(adjacent r5_c7 r5_c8)
	(adjacent r5_c7 r6_c7)
	(adjacent r5_c8 r4_c8)
	(adjacent r5_c8 r5_c7)
	(adjacent r5_c8 r5_c9)
	(adjacent r5_c8 r6_c8)
	(adjacent r5_c9 r4_c9)
	(adjacent r5_c9 r5_c8)
	(adjacent r5_c9 r6_c9)
	(adjacent r6_c0 r5_c0)
	(adjacent r6_c0 r6_c1)
	(adjacent r6_c0 r7_c0)
	(adjacent r6_c1 r5_c1)
	(adjacent r6_c1 r6_c0)
	(adjacent r6_c1 r6_c2)
	(adjacent r6_c1 r7_c1)
	(adjacent r6_c2 r5_c2)
	(adjacent r6_c2 r6_c1)
	(adjacent r6_c2 r6_c3)
	(adjacent r6_c2 r7_c2)
	(adjacent r6_c3 r5_c3)
	(adjacent r6_c3 r6_c2)
	(adjacent r6_c3 r6_c4)
	(adjacent r6_c3 r7_c3)
	(adjacent r6_c4 r5_c4)
	(adjacent r6_c4 r6_c3)
	(adjacent r6_c4 r6_c5)
	(adjacent r6_c4 r7_c4)
	(adjacent r6_c5 r5_c5)
	(adjacent r6_c5 r6_c4)
	(adjacent r6_c5 r6_c6)
	(adjacent r6_c5 r7_c5)
	(adjacent r6_c6 r5_c6)
	(adjacent r6_c6 r6_c5)
	(adjacent r6_c6 r6_c7)
	(adjacent r6_c6 r7_c6)
	(adjacent r6_c7 r5_c7)
	(adjacent r6_c7 r6_c6)
	(adjacent r6_c7 r6_c8)
	(adjacent r6_c7 r7_c7)
	(adjacent r6_c8 r5_c8)
	(adjacent r6_c8 r6_c7)
	(adjacent r6_c8 r6_c9)
	(adjacent r6_c8 r7_c8)
	(adjacent r6_c9 r5_c9)
	(adjacent r6_c9 r6_c8)
	(adjacent r6_c9 r7_c9)
	(adjacent r7_c0 r6_c0)
	(adjacent r7_c0 r7_c1)
	(adjacent r7_c1 r6_c1)
	(adjacent r7_c1 r7_c0)
	(adjacent r7_c1 r7_c2)
	(adjacent r7_c2 r6_c2)
	(adjacent r7_c2 r7_c1)
	(adjacent r7_c2 r7_c3)
	(adjacent r7_c3 r6_c3)
	(adjacent r7_c3 r7_c2)
	(adjacent r7_c3 r7_c4)
	(adjacent r7_c4 r6_c4)
	(adjacent r7_c4 r7_c3)
	(adjacent r7_c4 r7_c5)
	(adjacent r7_c5 r6_c5)
	(adjacent r7_c5 r7_c4)
	(adjacent r7_c5 r7_c6)
	(adjacent r7_c6 r6_c6)
	(adjacent r7_c6 r7_c5)
	(adjacent r7_c6 r7_c7)
	(adjacent r7_c7 r6_c7)
	(adjacent r7_c7 r7_c6)
	(adjacent r7_c7 r7_c8)
	(adjacent r7_c8 r6_c8)
	(adjacent r7_c8 r7_c7)
	(adjacent r7_c8 r7_c9)
	(adjacent r7_c9 r6_c9)
	(adjacent r7_c9 r7_c8)
	(at r0_c0)
	(isgoal r0_c9)
	(ishill r7_c4)
	(ishill r7_c7)
	(iswater r0_c7)
	(iswater r0_c8)
	(iswater r1_c0)
	(iswater r1_c1)
	(iswater r1_c5)
	(iswater r1_c6)
	(iswater r2_c0)
	(iswater r2_c1)
	(iswater r2_c6)
	(iswater r3_c0)
	(iswater r3_c1)
	(iswater r4_c0)
	(iswater r4_c1)
	(iswater r4_c5)
	(iswater r4_c6)
	(iswater r5_c0)
	(iswater r5_c1)
	(iswater r5_c5)
	(iswater r5_c6)
	(iswater r6_c0)
	(iswater r6_c1)
	(iswater r6_c6)
	(iswater r7_c0)
	(iswater r7_c1)
	(ontrail r0_c0 r0_c1)
	(ontrail r0_c1 r0_c2)
	(ontrail r0_c2 r0_c3)
	(ontrail r0_c3 r1_c3)
	(ontrail r1_c3 r2_c3)
	(ontrail r1_c9 r0_c9)
	(ontrail r2_c3 r3_c3)
	(ontrail r2_c9 r1_c9)
	(ontrail r3_c3 r4_c3)
	(ontrail r3_c9 r2_c9)
	(ontrail r4_c3 r5_c3)
	(ontrail r4_c9 r3_c9)
	(ontrail r5_c3 r6_c3)
	(ontrail r5_c9 r4_c9)
	(ontrail r6_c3 r7_c3)
	(ontrail r6_c9 r5_c9)
	(ontrail r7_c3 r7_c4)
	(ontrail r7_c4 r7_c5)
	(ontrail r7_c5 r7_c6)
	(ontrail r7_c6 r7_c7)
	(ontrail r7_c7 r7_c8)
	(ontrail r7_c8 r7_c9)
	(ontrail r7_c9 r6_c9)
  )
  (:goal (and
	(at r0_c9)))
)
